Перевод: с английского на русский

с русского на английский

to formalize the situation

См. также в других словарях:

  • Situation calculus — The situation calculus is a logic formalism designed for representing and reasoning about dynamical domains. It was first introduced by John McCarthy in 1963. The main version of the situational calculus that is presented in this article is based …   Wikipedia

  • The Queen of Corinth — is a Jacobean era stage play, a tragicomedy in the canon of John Fletcher and his collaborators. It was initially published in the first Beaumont and Fletcher folio of 1647.DateScholars have dated the play to the 1616 ndash;18 period, based in… …   Wikipedia

  • United States of the West — The United States of the West is a political union satirically advocated by French writer, philosopher, social commentator, and self proclaimed mediologist, Régis Debray (born 1940), in his short essay entitled, Empire 2.0: A Modest Proposal for… …   Wikipedia

  • Catalan Association for the Blind and Visually Impaired — The Catalan Association for the Blind and Visually Impaired (Associació Catalana de Cecs i Disminuïts Visuals ACCDV), with headquarters in Barcelona (Spain), is a non profit organization, registered in the Registro de Asociaciones de la… …   Wikipedia

  • History of the New York Yankees — The New York Yankees have a long history filled with many high points, milestones, and championships. With 26 world championships, they are the winningest team in not only baseball, but in all of professional sports, and have accomplished this… …   Wikipedia

  • History of the Connecticut Constitution — Connecticut is known as the “constitution state.” While the origin on this title is uncertain, the nickname is assumed to reference the Fundamental Orders of 1638 39. These Fundamental Orders represent the framework for the first formal… …   Wikipedia

  • Club Deportivo de los Altos — Full name Club Deportivo Yahualica De Los Altos Nickname(s) Deportivo Altos, Altos Founded JUL 2 …   Wikipedia

  • Event calculus — The event calculus is a logical language for representing and reasoning about actions and their effects first presented by Robert Kowalski and Marek Sergot in 1986.It was extended by Murray Shanahan and Rob Miller in the 1990s.The basic… …   Wikipedia

  • ECONOMIC AFFAIRS — THE PRE MANDATE (LATE OTTOMAN) PERIOD Geography and Borders In September 1923 a new political entity was formally recognized by the international community. Palestine, or Ereẓ Israel as Jews have continued to refer to it for 2,000 years,… …   Encyclopedia of Judaism

  • Raven paradox — The Raven paradox, also known as Hempel s paradox or Hempel s ravens is a paradox proposed by the German logician Carl Gustav Hempel in the 1940s to illustrate a problem where inductive logic violates intuition. It reveals the problem of… …   Wikipedia

  • Yale shooting problem — The Yale shooting problem is a conundrum or scenario in formal situational logic on which early logical solutions to the frame problem fail. The name of this problem derives from its inventors, Steve Hanks and Drew McDermott, working at Yale… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»